Aspect-oriented software development - PDFSEARCH.IO - Document Search Engine

Aspect-oriented software development
Results: 266

#	Item
11	Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:29:52 Mathematical logic Theoretical computer science Formal methods Logic Logic in computer science Hardware verification languages Model checking Formal verification E Gmail Aspect-oriented software development Propositional calculus
12	The Association of Photographers AOP Course Application College/University Name: .......................................................................................................................................... Add to Reading List Source URL: www.the-aop.org Language: English - Date: 2014-05-15 08:09:34 Association of Photographers Email Computing Aspect-oriented software development
13	The Influence of Software Module Systems on Modular Verification Harry Li , Kathi Fisler and Shriram Krishnamurthi Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:30:39 Hardware verification languages E Component-based software engineering Model checking Modularity Modular programming Aspect-oriented software development Formal verification
14	A DSL to declare aspect execution order Antoine Marot ∗ † Roel Wuyts Universit´e Libre de Bruxelles (ULB) Add to Reading List Source URL: dsal.dcc.uchile.cl Language: English - Date: 2008-10-10 19:02:46 Aspect-oriented software development Aspect-oriented programming Monad AspectJ Pointcut Join point Grammatical aspect Advice Cross-cutting concern Ring Distributed AOP
15	Integrated Product Line Model for Semi-Automated Product Derivation Using Non-Functional Properties Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2014-07-22 07:07:00 Software requirements Feature model Database Aspect-oriented software development Software development Requirement Product family engineering Software maintenance Software Product Lines Online Tools
16	Modularity: G: Interoperability and Composition of DSLs with Melange Thomas Degueule Inria, France Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 12:49:33 Unified Modeling Language Scientific modeling Programming paradigms ISO standards Systems engineering Domain-specific language Metamodeling Aspect-oriented software development Declarative programming Kermeta Meta-Object Facility Modeling language
17	A Component Model for On-board Software Applications Marco Panunzio and Tullio Vardanega Dept. of Pure and Applied Mathematics, University of Padova, Italy {panunzio, tullio.vardanega}@math.unipd.it Abstract Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2010-05-26 14:37:38 Software architecture Systems engineering Component-based software engineering Object-oriented programming Code reuse Software development Software design Functional requirement Software Robotics middleware Aspect-oriented software development
18	Reasoning About Past Events in Context-Aware Middleware Eline Philips, Christophe Scholliers,Charlotte Herzeel and Stijn Mostinckx {ephilips, cfscholl, caherzee, smostinc}@vub.ac.be Programming Technology Lab Vrije Unive Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2008-03-06 09:34:02 Context-aware pervasive systems Ubiquitous computing Temporal logic Aspect-oriented software development Framing
19	ALPH: A Domain-Specific Language for Crosscutting Pervasive Healthcare Concerns Jennifer Munnelly Siobh´an Clarke Add to Reading List Source URL: dsal.dcc.uchile.cl Language: English - Date: 2007-07-11 04:43:31 Aspect-oriented software development Domain-specific language Digital subscriber line Cross-cutting concern MUMPS Ambient intelligence
20	Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-13 14:10:53 Formal methods Logic in computer science Theoretical computer science Hardware verification languages Aspect-oriented software development Formal verification Model checking Abstraction E Communications protocol Modularity Construction and Analysis of Distributed Processes

UPDATE